type T =
    new () = ()
